Residues and telescopers for bivariate rational functions
نویسندگان
چکیده
Article history: Received 30 January 2012 Accepted 17 April 2012 Available online 10 May 2012 Dedicated to the memories of Philippe Flajolet and Herbert S. Wilf
منابع مشابه
Residues and Telescopers for Rational Functions
We give necessary and sufficient conditions for the existence of telescopers for rational functions of two variables in the continuous, discrete and q-discrete settings and characterize which operators can occur as telescopers. Using this latter characterization, we reprove results of Furstenberg and Zeilberger concerning diagonals of power series representing rational functions. The key concep...
متن کاملThe Existence of Telescopers for Hyperexponential-Hypergeometric Functions
We present two criteria for the existence of telescopers for bivariate hyperexponential-hypergeometric functions. One is for the existence of telescopers with respect to the continuous variable, the other for telescopers with respect to the discrete one. Our criteria are based on a standard representations of bivariate hyperexponentialhypergeometric functions, and two additive decompositions.
متن کاملSome applications of differential-difference algebra to creative telescoping. (Quelques applications de l'algébre différentielle et aux différences pour le télescopage créatif)
Since the 1990’s, Zeilberger’s method of creative telescoping has played an important role in the automatic verification of special-function identities. The long-term goal initiated in this work is to obtain fast algorithms and implementations for definite integration and summation in the framework of this method. Our contributions include new practical algorithms, complexity analyses of algori...
متن کاملDefinite Sums of Hypergeometric Terms and Limits of P-Recursive Sequences
The ubiquity of the class of D-finite functions and P-recursive sequences in symbolic computation is widely recognized. This class is defined in terms of linear differential and difference equations with polynomial coefficients. In this thesis, the presented work consists of two parts related to this class. In the first part, we generalize the reduction-based creative telescoping algorithms to ...
متن کاملThe Structure of Bivariate Rational Hypergeometric Functions
We describe the structure of all codimension-two lattice configurations A which admit a stable rational A-hypergeometric function, that is a rational function F all whose partial derivatives are non zero, and which is a solution of the A-hypergeometric system of partial differential equations defined by Gel’fand, Kapranov and Zelevinsky. We show, moreover, that all stable rational A-hypergeomet...
متن کامل